# -*- GAP -*-

X64 :=
rec(
  adjacencies := [ [ 9, 14, 19, 22, 25, 27, 29, 30, 34, 37, 38, 41, 42, 45, 46, 49, 52, 55 ], 
      [ 8, 15, 18, 23, 26, 27, 29, 30, 35, 37, 38, 40, 42, 44, 46, 49, 52, 55 ], 
      [ 7, 13, 17, 21, 24, 33, 39, 43, 46, 49, 52, 55, 58, 59, 60, 61, 62, 63 ], 
      [ 10, 11, 20, 22, 23, 24, 27, 31, 39, 42, 44, 45, 46, 49, 53, 57, 58, 59 ], 
      [ 6, 12, 16, 21, 25, 26, 27, 32, 40, 41, 42, 43, 46, 49, 54, 56, 58, 59 ], 
      [ 5, 12, 18, 19, 24, 28, 29, 31, 33, 38, 44, 45, 46, 50, 52, 57, 60, 61 ], 
      [ 3, 13, 27, 29, 30, 31, 32, 34, 35, 36, 40, 41, 44, 45, 46, 50, 53, 56 ], 
      [ 2, 15, 16, 20, 28, 33, 34, 39, 41, 43, 45, 46, 50, 53, 56, 59, 60, 63 ], 
      [ 1, 14, 16, 20, 28, 33, 35, 39, 40, 43, 44, 46, 50, 53, 56, 58, 61, 62 ], 
      [ 4, 11, 18, 19, 21, 28, 30, 32, 33, 37, 40, 41, 46, 50, 54, 55, 62, 63 ], 
      [ 4, 10, 16, 17, 25, 26, 29, 34, 35, 36, 38, 43, 46, 51, 52, 56, 60, 61 ], 
      [ 5, 6, 17, 20, 22, 23, 30, 34, 35, 36, 37, 39, 46, 51, 53, 55, 62, 63 ], 
      [ 3, 7, 16, 18, 19, 20, 22, 23, 25, 26, 28, 37, 38, 42, 46, 51, 54, 57 ], 
      [ 1, 9, 17, 18, 21, 23, 24, 26, 31, 32, 36, 46, 51, 54, 57, 59, 60, 63 ], 
      [ 2, 8, 17, 19, 21, 22, 24, 25, 31, 32, 36, 46, 51, 54, 57, 58, 61, 62 ], 
      [ 5, 8, 9, 11, 13, 24, 30, 32, 36, 37, 44, 45, 47, 49, 52, 57, 62, 63 ], 
      [ 3, 11, 12, 14, 15, 27, 28, 33, 37, 38, 40, 41, 44, 45, 47, 49, 53, 56 ], 
      [ 2, 6, 10, 13, 14, 35, 36, 39, 41, 43, 45, 47, 49, 53, 56, 59, 61, 62 ], 
      [ 1, 6, 10, 13, 15, 34, 36, 39, 40, 43, 44, 47, 49, 53, 56, 58, 60, 63 ], 
      [ 4, 8, 9, 12, 13, 21, 29, 31, 36, 38, 40, 41, 47, 49, 54, 55, 60, 61 ], 
      [ 3, 5, 10, 14, 15, 20, 29, 34, 35, 37, 39, 42, 44, 45, 47, 50, 52, 56 ], 
      [ 1, 4, 12, 13, 15, 32, 33, 35, 41, 43, 44, 47, 50, 52, 56, 59, 61, 63 ], 
      [ 2, 4, 12, 13, 14, 32, 33, 34, 40, 43, 45, 47, 50, 52, 56, 58, 60, 62 ], 
      [ 3, 4, 6, 14, 15, 16, 30, 34, 35, 38, 40, 41, 42, 43, 47, 50, 53, 55 ], 
      [ 1, 5, 11, 13, 15, 31, 33, 35, 39, 40, 45, 47, 50, 53, 55, 59, 60, 62 ], 
      [ 2, 5, 11, 13, 14, 31, 33, 34, 39, 41, 44, 47, 50, 53, 55, 58, 61, 63 ], 
      [ 1, 2, 4, 5, 7, 17, 28, 36, 39, 43, 47, 50, 54, 57, 60, 61, 62, 63 ], 
      [ 6, 8, 9, 10, 13, 17, 27, 31, 32, 34, 35, 42, 47, 51, 52, 55, 58, 59 ], 
      [ 1, 2, 6, 7, 11, 20, 21, 32, 33, 43, 47, 51, 53, 57, 58, 59, 62, 63 ], 
      [ 1, 2, 7, 10, 12, 16, 24, 31, 33, 39, 47, 51, 54, 56, 58, 59, 60, 61 ], 
      [ 4, 6, 7, 14, 15, 20, 25, 26, 28, 30, 37, 43, 48, 49, 52, 56, 62, 63 ], 
      [ 5, 7, 10, 14, 15, 16, 22, 23, 28, 29, 38, 39, 48, 49, 53, 55, 60, 61 ], 
      [ 3, 6, 8, 9, 10, 17, 22, 23, 25, 26, 29, 30, 36, 42, 48, 49, 54, 57 ], 
      [ 1, 7, 8, 11, 12, 19, 21, 23, 24, 26, 28, 48, 49, 54, 57, 59, 61, 62 ], 
      [ 2, 7, 9, 11, 12, 18, 21, 22, 24, 25, 28, 48, 49, 54, 57, 58, 60, 63 ], 
      [ 7, 11, 12, 14, 15, 16, 18, 19, 20, 27, 33, 42, 48, 50, 52, 55, 58, 59 ], 
      [ 1, 2, 10, 12, 13, 16, 17, 21, 31, 43, 48, 50, 53, 57, 58, 59, 60, 61 ], 
      [ 1, 2, 6, 11, 13, 17, 20, 24, 32, 39, 48, 50, 54, 56, 58, 59, 62, 63 ], 
      [ 3, 4, 8, 9, 12, 18, 19, 21, 25, 26, 27, 30, 32, 38, 48, 51, 52, 57 ], 
      [ 2, 5, 7, 9, 10, 17, 19, 20, 23, 24, 25, 48, 51, 52, 57, 59, 61, 63 ], 
      [ 1, 5, 7, 8, 10, 17, 18, 20, 22, 24, 26, 48, 51, 52, 57, 58, 60, 62 ], 
      [ 1, 2, 4, 5, 13, 21, 24, 28, 33, 36, 48, 51, 53, 56, 60, 61, 62, 63 ], 
      [ 3, 5, 8, 9, 11, 18, 19, 22, 23, 24, 27, 29, 31, 37, 48, 51, 54, 55 ], 
      [ 2, 4, 6, 7, 9, 16, 17, 19, 21, 22, 26, 48, 51, 54, 55, 59, 60, 62 ], 
      [ 1, 4, 6, 7, 8, 16, 17, 18, 21, 23, 25, 48, 51, 54, 55, 58, 61, 63 ], 
      [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 47, 48, 64 ], 
      [ 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 46, 48, 64 ], 
      [ 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 64 ], 
      [ 1, 2, 3, 4, 5, 16, 17, 18, 19, 20, 31, 32, 33, 34, 35, 50, 51, 64 ], 
      [ 6, 7, 8, 9, 10, 21, 22, 23, 24, 25, 26, 27, 36, 37, 38, 49, 51, 64 ], 
      [ 11, 12, 13, 14, 15, 28, 29, 30, 39, 40, 41, 42, 43, 44, 45, 49, 50, 64 ], 
      [ 1, 2, 3, 6, 11, 16, 21, 22, 23, 28, 31, 36, 39, 40, 41, 53, 54, 64 ], 
      [ 4, 7, 8, 9, 12, 17, 18, 19, 24, 25, 26, 29, 32, 37, 42, 52, 54, 64 ], 
      [ 5, 10, 13, 14, 15, 20, 27, 30, 33, 34, 35, 38, 43, 44, 45, 52, 53, 64 ], 
      [ 1, 2, 3, 10, 12, 20, 24, 25, 26, 28, 32, 36, 43, 44, 45, 56, 57, 64 ], 
      [ 5, 7, 8, 9, 11, 17, 18, 19, 21, 22, 23, 30, 31, 38, 42, 55, 57, 64 ], 
      [ 4, 6, 13, 14, 15, 16, 27, 29, 33, 34, 35, 37, 39, 40, 41, 55, 56, 64 ], 
      [ 3, 4, 5, 9, 15, 19, 23, 26, 28, 29, 30, 35, 36, 37, 38, 41, 45, 64 ], 
      [ 3, 4, 5, 8, 14, 18, 22, 25, 28, 29, 30, 34, 36, 37, 38, 40, 44, 64 ], 
      [ 3, 6, 8, 11, 14, 19, 20, 23, 25, 27, 30, 32, 35, 37, 41, 42, 44, 64 ], 
      [ 3, 6, 9, 11, 15, 18, 20, 22, 26, 27, 30, 32, 34, 37, 40, 42, 45, 64 ], 
      [ 3, 9, 10, 12, 15, 16, 18, 23, 25, 27, 29, 31, 34, 38, 41, 42, 44, 64 ], 
      [ 3, 8, 10, 12, 14, 16, 19, 22, 26, 27, 29, 31, 35, 38, 40, 42, 45, 64 ], 
      [ 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63 ] ],
  autGroup := Group( [ ( 3,64)( 4, 5)( 6,11)( 7,47)( 8,15)( 9,14)(10,12)(13,48)(16,31)(17,50)(18,35)(19,34)(20,32)
        (21,53)(22,41)(23,40)(24,56)(25,45)(26,44)(28,36)(33,51)(39,54)(43,57)(58,59)(60,61)(62,63), 
      ( 3,64)( 4,36)( 5,28)( 6,32)( 7,57)( 8,26)( 9,25)(10,12)(11,20)(13,56)(14,45)(15,44)(16,31)(17,54)(18,23)(19,22)
        (21,51)(24,48)(30,37)(33,53)(34,41)(35,40)(39,50)(43,47)(46,55)(49,52)(58,59)(60,61), 
      ( 4, 5)( 6,10)(11,12)(16,20)(21,24)(22,25)(23,26)(29,30)(31,32)(37,38)(39,43)(40,44)(41,45)(52,55)(53,56)(54,57)
        (60,63)(61,62), ( 4, 6)( 5,11)(10,12)(17,21)(18,23)(19,22)(20,28)(27,29)(32,36)(33,39)(34,41)(35,40)(38,42)
        (49,52)(50,53)(51,54)(58,61)(59,60), ( 1, 2)( 8, 9)(14,15)(18,19)(22,23)(25,26)(34,35)(40,41)(44,45)(58,59)
        (60,61)(62,63), ( 1, 3, 2,64)( 4,36)( 5,28)( 7,23,48,22)( 8,54, 9,21)(10,16)(12,31)(13,40,47,41)(14,39,15,53)
        (17,26,51,25)(18,57,19,24)(27,58,42,59)(29,60,38,61)(30,62,37,63)(33,44,50,45)(34,43,35,56)(46,52)(49,55), 
      ( 1, 7,19, 3,15,33, 2,48,18,64,14,50)( 4,12,16)( 5,11,20)( 6,52,31)( 8,42,35,47,59,51, 9,27,34,13,58,17)
        (10,55,32)(21,25,29,40,43,61,54,26,38,41,56,60)(22,30,44,39,62,57,23,37,45,53,63,24)(36,49,46) ] ),
  forms := [ rec(
          forms := [ [ "[8, 4, 8]" ] ],
          h := 4 ) ],
  group := Group( [ () ] ),
  h := [ 4 ],
  info := rec(
      bipartite := false,
      distance_regular := false,
      girth := 3,
      pencils := [ [ 18, 64 ] ],
      regular := 18,
      transitive := -1 ),
  isGraph := true,
  isSimple := true,
  names := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 
      29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 
      57, 58, 59, 60, 61, 62, 63, 64 ],
  order := 64,
  real := [  ],
  representatives := [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 
      27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 
      55, 56, 57, 58, 59, 60, 61, 62, 63, 64 ],
  schreierVector := [ -1, -2, -3, -4, -5, -6, -7, -8, -9, -10, -11, -12, -13, -14, -15, -16, -17, -18, -19, -20, -21, 
      -22, -23, -24, -25, -26, -27, -28, -29, -30, -31, -32, -33, -34, -35, -36, -37, -38, -39, -40, -41, -42, -43, 
      -44, -45, -46, -47, -48, -49, -50, -51, -52, -53, -54, -55, -56, -57, -58, -59, -60, -61, -62, -63, -64 ] );

